A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland

Source URL: www.cs.uu.nl

• Applied mathematics
• AgentSpeak
• Operational semantics
• Bisimulation
• Programming language
• Agent-based model
• State transition system
• 3APL
• Logic programming
• Multi-agent systems
• Computing
• Theoretical computer science

Bibster - A Semantics-Based Bibliographic Peer-to-Peer System Jeen Broekstra3 , Marc Ehrig2 , Peter Haase2 , Frank van Harmelen1 , Maarten Menken1 , Peter Mika1 , Bj¨ orn Schnizler2 , Ronny Siebes1 1

Source URL: www.cs.vu.nl

• World Wide Web
• Bibster
• Semantic search
• Peer-to-peer
• Ontology
• Semantic similarity
• Semantic matching
• Query language
• RDF Schema
• Semantic Web
• Information
• Computing

PMP Evaluation Tool Description and Usage The PMP Evaluation Tool (PET) was developed as part of the Probable Maximum Precipitation Study for WyomingThe PET is a Python scripting language-based tool designed to

Source URL: wwdc.state.wy.us

• Computing
• Geodatabase
• Shapefile
• Geographic information system
• Geoprocessing
• Earth
• ArcMap
• ArcGIS Server
• Geographic information systems in geospatial intelligence
• GIS software
• ArcGIS
• Science

A Distributed Architecture for Interactive Robots Based on a Knowledge Software Platform Pattara Kiatisevi

Source URL: www.nii.ac.jp

• Massachusetts Institute of Technology
• Dialog system
• Systems engineering
• Information science
• Human–robot interaction
• Robot
• Frame language
• Cog
• Science
• Multimodal interaction
• Artificial intelligence
• Humanoid robots

Tips and tricks for Learning Center – the online learning and web-based student assessment system Instruction video with interactive test questions Whether it’s for biology, math or language lessons, with instruction

Source URL: www.netop.com

• Educational psychology
• Psychometrics
• Distance education
• E-learning
• Test
• STAR
• E-assessment
• Education
• Evaluation
• Standardized tests

Using the ADMIRALTY Vector Chart Service with Danelec ECDIS This guide is based on the Danelec 1.20 – 1.50 Series ECDIS Version Danelec User Guide V1.1

Source URL: www.ukho.gov.uk

• Electronic navigation
• Electronic Chart Display and Information System
• AS/400 Control Language

Masterclass II – Dean Walsh Dean will be leading participants through a series of task based exercises based on is Foreign Language system. Dean’s research primarily involves expanding and distilling a developing cho

Source URL: www.aarts.net.au

DOC Document

Source URL: toolboxes.flexiblelearning.net.au

• Educational psychology
• Distance education
• E-learning
• Task-based language learning
• Learning management system
• Differentiated instruction
• Education
• Educational software
• Educational technology

Interoperable Services for Web-Based Spatial Decision Support Nicole Ostländer Institute for Geoinformatics, University of Münster Münster, Germany

Source URL: itcnt05.itc.nl

• Information science
• Spatial Decision Support System
• Open Geospatial Consortium
• Geography Markup Language
• Spatial data infrastructure
• Decision support system
• Infrastructure for Spatial Information in the European Community
• Web Feature Service
• Spatial reference system
• Geographic information systems
• Cartography
• Science

Content-based recommendations with Poisson factorization Prem Gopalan, Laurent Charlin, David M. Blei Department of Computer Science Princeton University Princeton, NJ 08540

Source URL: www.cs.toronto.edu

• Expectation–maximization algorithm
• Poisson distribution
• Non-negative matrix factorization
• Recommender system
• Collaborative filtering
• Topic model
• Information retrieval
• Gamma distribution
• Latent variable
• Statistics
• Statistical natural language processing
• Latent Dirichlet allocation